<?php
        echo use_helper('Javascript');	
        echo javascript_tag("Ext.onReady(Profesor.init, Profesor);");
?>
<div id="formularioProfesor"></div>